Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]
- Milius, Stefan
- Moss, Lawrence S.
Publication date
August 2008
DOI Publisher
Elsevier B.V. ISSN
0304-3975 Citation count (estimate)
1Abstract
AbstractThis is a corrigendum for our paper [S. Milius, L.S. Moss, The category theoretic solution of recursive program schemes, Theoret. Comput. Sci. 366 (2006) 3–59]. The main results are correct, but we offer some changes to the definitions and proofs concerning interpreted recursive program schemes
Add to ORKG